file down something - German English Dictionary